import pprint

def htmlspecialchars(s):
	return s.replace('&', '&amp;').replace('<', '&lt;').replace('>', '&gt;').replace('"', '&quot;').replace('\'', '&#39;').replace('\\', '&#92')

def dump(var):
	return pprint.pformat(var)
